2. Advances in Petri nets, 1984
پدیدآورنده: edited by G. Rozenberg with the cooperation of H. Genrich and G. Roucairol.
کتابخانه: کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Machine theory -- Congresses.,Petri nets -- Congresses.,Pétri, Réseaux de -- Congrès.
رده :
QA267
.
E358
1985
3. Artificial evolution :
پدیدآورنده: Evelyne Lutton, Pierrick Legrand, Pierre Parrend, Nicolas Monmarché, Marc Schoenauer (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Evolutionary computation, Congresses.,Evolutionary programming (Computer science), Congresses.,Algorithms & data structures.,Artificial intelligence.,Computers-- Data Processing.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- Algorithms.,Discrete mathematics.,Evolutionary computation.,Evolutionary programming (Computer science),Mathematical theory of computation.,Maths for computer scientists.
رده :
QA76
.
618
5. Automata, languages and programming
پدیدآورنده: / edited by Arto Salomaa and Magnus Steinby
کتابخانه: كتابخانه پردیس علوم (دانشگاه تهران) (تهران)
موضوع: Sequential machine theory -- Congresses,Formal languages -- Congresses,Programming languages (Electronic computers) -- Congresses
رده :
QA
267
.
5
.
S4
C63
1977
7. Automata, languages and programming: eigth colloquium, Acre )Akko(,Israel, July 13-17, 1981
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: Congresses ، Sequential machine theory,Congresses ، Formal languages,Congresses ، Programming languages )Electronic computer(
رده :
QA
267
.
5
.
S4
.
I47
1981
8. Automata, languages and programming: seven the colloquium, Noordwijkerhout, Netherlands, July 14-18, 1980
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: Congresses ، Sequential machine theory,Congresses ، Formal language,Congresses ، Programming language )Electronic computers(
رده :
QA
267
.
5
.
S4
.
I47
1980
9. Automata, languages and programming 13th International Colloquium Rennes, France, July 15-19, 1986
پدیدآورنده: edited by Laurent kott
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع: Congresses ، Sequential machine theory,Congresses ، Formal languages,Congresses ، Programming languages )Electronic computers(
رده :
QA
76
.
L4
v
.
226
11. Communicating Process Architectures 2002 :
پدیدآورنده: edited by James Pascoe [and others].
کتابخانه: کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer multitasking, Congresses.,occam (Computer program language), Congresses.,Parallel processing (Electronic computers), Congresses.,Fonctionnement multitâche, Congrès.,Occam (Langage de programmation), Congrès.,Parallélisme (Informatique), Congrès.,Computer multitasking.,COMPUTERS-- Programming Languages-- C♯,COMPUTERS-- Programming Languages-- Java.,COMPUTERS-- Programming Languages-- Pascal.,occam (Computer program language),Parallel processing (Electronic computers)
رده :
QA76
.
73
.
O2
W67
2002eb
12. Computational linguistics and intelligent text processing
پدیدآورنده: / Alexander Gelbukh (ed.
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: Text processing (Computer science), Congresses,Computational linguistics, Congresses,Discourse analysis, Data processing, Congresses,Information storage and retrieval systems, Congresses
رده :
QA76
.
9
.
T48C49
2010
13. Computer aided verification: 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, proceedings. Part I
پدیدآورنده: / edited by Isil Dillig, Serdar Tasiran.
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه کردستان (کردستان)
موضوع: Computer programs -- Verification -- Congresses.,Software engineering.,Computer science.,Computer science.,Computer programs.,Software engineering.
14. Euro-Par 2018 :
پدیدآورنده: edited by Gabriele Mencagli, Dora B. Heras et al. (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Parallel processing (Electronic computers), Congresses.,Parallel processing (Electronic computers)
رده :
QA76
.
58
.
I58
2018eb
15. Formal properties of finite automata and applicatins : LITP Spring School of Theoretical Computer Science, Ramatuelle, France, May 23-27, 1988 : Proceedings
پدیدآورنده: J.E. Pin )ed.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Sequential machine theory
رده :
QA
76
.
L28
Vol
.
386
16. Formal properties of finite automata and applications : LITP Spring School on Theoretical Computer Science, Ramatuelle, France, May 23-27, 1988 : proceedings
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Sequential machine theory-- Congresses
رده :
QA
267
.
5
.
S4
.
E26
1988
17. Language and automata theory and applications :
پدیدآورنده: edited by Shmuel Tomi Klein, Carlos Martín-Vide, Dana Shapira.
کتابخانه: کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Formal languages, Congresses.,Machine theory, Congresses.,Mathematical linguistics, Congresses.,Algorithms & data structures.,Artificial intelligence.,Computer programming-- software development.,Computers-- Intelligence (AI) & Semantics.,Computers-- Mathematical & Statistical Software.,Computers-- Programming-- Algorithms.,Computers-- Programming-- General.,Formal languages.,Machine theory.,Mathematical linguistics.,Mathematical theory of computation.,Mathematics-- Logic.,Maths for computer scientists.
رده :
QA267
.
L38
2018
18. Mathematial systems theory
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، System analysis-- Congresses,، Computer simulation,، Sequential machine theory-- Congresses,، Coding theory-- Congresses
رده :
QA
402
.
C56
19. Mathematical foundations of computer science
پدیدآورنده: edited by A. Blikle
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: Congresses ، Sequential machine theory,Congresses ، Formal languages,Congresses ، Programming )Electronic computers(
رده :
QA
267
.
5
.
S4
S89
1974
20. Mathematical foundations of computer science
پدیدآورنده: / Edited by G. Goos and J. Hartmanis (and also) Edited by A. Blikle
کتابخانه: كتابخانه پردیس علوم (دانشگاه تهران) (تهران)
موضوع: Sequential machine theory -- Congresses,Formal languages -- Congresses,Computer programming -- Congresses
رده :
QA
267
.
5
.
S4
S89
1974
